]> dgit.raspbian.org Git - gnome-shell.git/commitdiff
ci: Fix publishing docs
authorFlorian Müllner <fmuellner@gnome.org>
Thu, 14 Dec 2023 16:49:47 +0000 (17:49 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Thu, 14 Dec 2023 16:53:38 +0000 (17:53 +0100)
The originally merge request predates the switch to `main` as
the default branch name (by a mere week!).

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3054>

.gitlab-ci.yml

index f45be431fad2a78067c624d9c907f856b10f90e6..45f241cc759c284e1703a63009d38117d8132856 100644 (file)
@@ -294,8 +294,8 @@ pages:
   artifacts:
     paths:
       - public
-  only:
-    - master
+  rules:
+    - if: '$CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH && $CI_PROJECT_NAMESPACE == "GNOME"'
 
 build-toolbox:
   image: quay.io/freedesktop.org/ci-templates:container-build-base-2021-07-29.0